ebab7d0da53c51438720d60c6e2e467c - /page/wikibook/entry.mu

Micron Document

<!DOCTYPE html>

</head>

</header>

</div>

/* start https://fr.wikipedia.org/ */

.mw-parser-output .encadre{float:right;width:14em;min-width:min-content;padding:.5em .9em 0 .9em;margin-left:0.5em;margin-bottom:0.5em;border:solid 1px #99B3FF;background-color:var(--background-color-base,#fff)}.mw-parser-output .encadre-entete{display:flex;align-items:center;justify-content:center;gap:1em}.mw-parser-output .encadre-titre{font-weight:bold}.mw-parser-output .encadre-reference{text-align:center;font-size:.8em}@media screen{html.skin-theme-clientpref-night .mw-parser-output .encadre{border-color:#164e76}}@media screen and (prefers-color-scheme:dark){html.skin-theme-clientpref-os .mw-parser-output .encadre{border-color:#164e76}}

/* end https://fr.wikipedia.org/ */

</style>

<div class="mw-heading mw-heading3"><h3 id="Plateforme_Java"><div class="center"><a href="Plateforme_Java" title="Plateforme Java">Plateforme Java</a></div></h3></div>

<li><a href="Jakarta_EE" title="Jakarta EE">Jakarta EE</a></li>

<li><a href="JavaFX" title="JavaFX">JavaFX</a></li>

</div>

Java Card est un <a href="Syst%C3%A8me_d'exploitation_pour_carte_%C3%A0_puce" title="Système d'exploitation pour carte à puce">système d'exploitation pour carte à puce</a> qui fournit essentiellement un <a href="Environnement_d'ex%C3%A9cution" title="Environnement d'exécution">environnement d'exécution</a> pour un sous-ensemble du langage <a href="Java_(langage)" title="Java (langage)">Java</a> spécifiquement destiné aux applications pour <a href="Carte_%C3%A0_puce" title="Carte à puce">carte à puce</a>. Java Card permet l'exécution d'applications au sein des cartes à puce, qui offrent des capacités de mémoire et de traitement limitées. De multiples applications peuvent être déployées avant et même après que la <a href="Carte_%C3%A0_puce" title="Carte à puce">carte à puce</a> a été fournie à l'utilisateur final. Les applications écrites dans le <a href="Langage_de_programmation" title="Langage de programmation">langage de programmation</a> Java peuvent être exécutées en toute sécurité sur l’ensemble des types de cartes disponibles sur le marché.

<div class="mw-heading mw-heading2"><h2 id="Historique">Historique</h2></div>

En 1996, les ingénieurs de la division carte de <a href="Schlumberger_(entreprise)" class="mw-redirect" title="Schlumberger (entreprise)">Schlumberger</a><a href="#cite_note-havsp_Baentsch_p37-1">[1]</a> au <a href="Texas" title="Texas">Texas</a> (qui a fusionné plus tard avec <a href="Gemplus_international" class="mw-redirect" title="Gemplus international">Gemplus international</a> pour former <a href="Gemalto" class="mw-redirect" title="Gemalto">Gemalto</a>) ont souhaité simplifier la programmation des cartes à puces tout en préservant la <a href="S%C3%A9curit%C3%A9_des_donn%C3%A9es" title="Sécurité des données">sécurité des données</a> dans le respect de la norme ISO 7816.

La solution retenue fut le langage de programmation <a href="Java_(langage)" title="Java (langage)">Java</a>. En raison de la faible capacité mémoire disponible sur une <a href="Carte_%C3%A0_puce" title="Carte à puce">Carte à puce</a> seulement un sous-ensemble de <a href="Java_(langage)" title="Java (langage)">Java</a> pouvait être utilisé. Ainsi fut créé Java Card 1.0 en <time class="nowrap" datetime="1996-11" data-sort-value="1996-11">novembre 1996</time>, le premier langage orienté objet adapté aux cartes à puce.

<time class="nowrap" datetime="1997-02" data-sort-value="1997-02">Février 1997</time>, <a href="Schlumberger_(entreprise)" class="mw-redirect" title="Schlumberger (entreprise)">Schlumberger</a> et <a href="Gemplus" title="Gemplus">Gemplus</a> fondent Java Card Forum qui recommande des spécifications à JavaSoft (la division de Sun à qui appartient Java Card) en vue d'obtenir une standardisation du langage et promeut les APIs de Java Card pour qu'elle devienne la plate-forme standard de développement des applications pour les <a href="Cartes_%C3%A0_puce" class="mw-redirect" title="Cartes à puce">cartes à puce</a><a href="#cite_note-havsp_Baentsch_p37-1">[1]</a>.

<time class="nowrap" datetime="1997-11" data-sort-value="1997-11">Novembre 1997</time>, les producteurs de Cartes à puce comme <a href="De_La_Rue" title="De La Rue">De La Rue</a>, <a href="Bull_(entreprise)" title="Bull (entreprise)">Bull</a>

, <a href="Giesecke_%26_Devrient" class="mw-redirect" title="Giesecke & Devrient">Giesecke & Devrient(G&D)</a> rejoignent Java Card Forum qui édite une nouvelle version de spécifications Java Card 2.0<a href="#cite_note-havsp_Baentsch_p37-1">[1]</a>.

Par la suite, Sun éditera alors quatre nouvelles spécifications : en <time class="nowrap" datetime="1999-03" data-sort-value="1999-03">mars 1999</time> édition de Java Card 2.1<a href="#cite_note-havsp_Baentsch_p37-1">[1]</a>, en <time class="nowrap" datetime="2002-06" data-sort-value="2002-06">juin 2002</time> Java Card 2.2, en <time class="nowrap" datetime="2008-03" data-sort-value="2008-03">mars 2008</time> Java Card 3.0 et enfin la plus récente Java Card 3.0.1 en <time class="nowrap" datetime="2009-05" data-sort-value="2009-05">mai 2009</time><a href="#cite_note-2">[2]</a>.

La société <a href="Oracle_Corporation" class="mw-redirect" title="Oracle Corporation">Oracle Corporation</a> acquiert en <time class="nowrap" datetime="2010-01" data-sort-value="2010-01">janvier 2010</time> l'entreprise <a href="Sun_Microsystems" title="Sun Microsystems">Sun Microsystems</a>.

<div class="mw-heading mw-heading2"><h2 id="Architecture">Architecture</h2></div>

La carte à puce représente une des plates-formes informatiques les plus réduites<a href="#cite_note-Chen2000_29-3">[3]</a>. Le plus grand défi de conception de la technologie de Java Card est d'embarquer le logiciel de base <a href="Java_(langage)" title="Java (langage)">Java</a> dans une <a href="Carte_%C3%A0_puce" title="Carte à puce">carte à puce</a> en conservant l'espace mémoire nécessaire pour stocker des applications. La solution retenue par Sun, issue des travaux de Schlumberger<a href="#cite_note-havsp_Baentsch_p37-1">[1]</a>, est d’implémenter un sous-ensemble des fonctionnalités du langage <a href="Java_(langage)" title="Java (langage)">Java</a> et d’appliquer un modèle réduit de la JVM (Java Virtual Machine) appelé JCVM (Java Card Virtual Machine)<a href="#cite_note-Chen2000_29-3">[3]</a>.

En plus de fournir le support de langage <a href="Java_(langage)" title="Java (langage)">Java</a>, la technologie de Java Card définit un environnement d'exécution en temps réel qui supporte la mémoire, la communication, la sécurité et le modèle d'exécution de l’application. Cet environnement respecte la norme standard ISO7816<a href="#cite_note-4">[4]</a>.

La plate-forme Java Card est articulée autour<a href="#cite_note-5">[5]</a> :

<ul><li>d’une <a href="Machine_virtuelle_Java" title="Machine virtuelle Java">machine virtuelle Java</a> Card appelée JCVM<a href="#cite_note-6">[note 1]</a> dont les spécifications définissent les fonctionnalités mises en œuvre par la technologie Java Card. Elles incluent le jeu d'instruction de la Machine Virtuelle Java Card, un sous-ensemble du langage <a href="Java_(langage)" title="Java (langage)">Java</a> et les formats de fichier utilisés pour installer des applets et des bibliothèques dans des cartes à puce ou autres périphériques qui hébergent la technologie de Java Card<a href="#cite_note-Chen2000_30-7">[6]</a>.</li>

<li>d’un environnement d’exécution Java Card appelé JCRE<a href="#cite_note-8">[note 2]</a> constitué de composants systèmes. La JCRE est responsable de la gestion des ressources des cartes à puces, des communications réseaux, de l'exécution ainsi que la sécurité des Applets. La JCRE sert de système d'exploitation de la carte à puce, celui-ci s'appuie sur la couche matérielle de carte à puce et du système natif<a href="#cite_note-Chen2000_30-7">[6]</a>.</li>

<li>d’un ensemble de librairies accessibles APIs<a href="#cite_note-9">[note 3]</a>, un sous ensemble du JCRE, contenant les définitions de classe requises pour supporter la JVCM et la JCRE. Il décrit les fonctions de bases utiles pour programmer des applications de cartes à puce<a href="#cite_note-Chen2000_30-7">[6]</a>.</li></ul>

La caractéristique la plus significative du JCRE est qu'il fournit une séparation claire entre le système et les applications<a href="#cite_note-Chen2000_30-7">[6]</a>.

La technologie de Java Card définit une plate-forme sur laquelle les applications écrites dans le langage de programmation <a href="Java_(langage)" title="Java (langage)">Java</a> peuvent fonctionner sur carte à puce et autres périphériques avec mémoire<a href="#cite_note-Chen2000_30-7">[6]</a>.

Les applications Java Card sont vues comme des <a href="Applet_Java" title="Applet Java">applets</a><a href="#cite_note-Chen2000_30-7">[6]</a> ou des <a href="Servlet" title="Servlet">servlets</a><a href="#cite_note-havsp_Sun_White_Paper_7-10">[7]</a>.

À partir de la version 3.0, éditée par Sun en <time class="nowrap" datetime="2008-03" data-sort-value="2008-03">mars 2008</time>, à la suite des évolutions des cartes à puces, la plate-forme Java Card se décline en 2 versions<a href="#cite_note-havsp_Sun_White_Paper_1-11">[8]</a>.

<dl><dt>Version Classique <a href="#cite_note-havsp_Sun_White_Paper_2-12">[9]</a></dt>

<dd>Cette version est une évolution de la version 2.2 et cible les systèmes limités en ressources et qui supportent les applications basées sur les Applets. Elle apporte des correctifs et offre l’exploitation de nouveaux algorithmes de sécurité (Exemple support des clés RSA 4096 bits). De plus, un ajustement avec les récents standards des cartes «sans contact» a été réalisé.</dd></dl>

<dl><dt>Version Connectée <a href="#cite_note-havsp_Sun_White_Paper_2-12">[9]</a></dt>

<dd>Cette version apporte un environnement amélioré d’exécution et une nouvelle machine virtuelle. Une nouvelle architecture a été conçue pour transformer la carte à puce en élément sécurisé de réseau. La carte à puce peut alors fournir des services réseaux IP tels que <a href="Serveur_web" title="Serveur web">serveur web</a> HTTP, serveur web sécurisé HTTPS, identification, accès aux ressources d'un réseau. Cette version cible des produits moins limités en ressources incluant de nouvelles fonctionnalités orientées réseau telles que les <a href="Application_web" title="Application web">applications web</a>, appelées <a href="Servlet" title="Servlet">servlet</a>. Cette version intègre les fonctionnalités de la version classique.</dd></dl>

<div class="mw-heading mw-heading3"><h3 id="Version_Java_Card_2.x_et_Java_Card_3_«_classique_»">Version Java Card 2.x et Java Card 3 « classique »</h3></div>

Java Card est donc l'adaptation de la technologie <a href="Java_(technique)" title="Java (technique)">Java</a> pour les <a href="Cartes_%C3%A0_puce" class="mw-redirect" title="Cartes à puce">cartes à puce</a>. Les <a href="Applet_Java" title="Applet Java">applets</a> sont développées dans le langage <a href="Java_(langage)" title="Java (langage)">Java</a>, elles sont ensuite transformées afin de satisfaire les contraintes de mémoire, puis sont chargées dans la carte<a href="#cite_note-Chen2000_29-3">[3]</a>. Une fois installé sur la plate-forme et sélectionné, le <a href="Bytecode_Java" title="Bytecode Java">bytecode</a><a href="#cite_note-13">[note 4]</a>, de l'applet est exécuté par la machine virtuelle embarquée JCVM<a href="#cite_note-Chen2000_34-14">[10]</a>.

<div class="mw-heading mw-heading4"><h4 id="Machine_Virtuelle_Java_Card">Machine Virtuelle Java Card</h4></div>

La JCVM exécute le <a href="Bytecode_Java" title="Bytecode Java">bytecode</a>, contrôle l'attribution de la mémoire, gère les objets et met en application la sécurité pendant l'exécution. La capacité des cartes à puces étant trop limité pour contenir toutes les informations des fichiers de classe Java, vérificateur de <a href="Code_objet" title="Code objet">code objet</a>, la JVCM est donc implémentée en deux parties distinctes (principale différence entre la JVM et la JCVM)<a href="#cite_note-Chen2000_31-15">[11]</a> :

<ul><li>Une partie externe à la <a href="Carte_%C3%A0_puce" title="Carte à puce">carte à puce</a><a href="#cite_note-16">[note 5]</a>, intégrant le convertisseur et vérificateur fonctionnant sur un <a href="Ordinateur_personnel" title="Ordinateur personnel">PC</a><a href="#cite_note-17">[note 6]</a> ou un poste de travail distant<a href="#cite_note-Chen2000_31-15">[11]</a>.</li>

<li>Une partie interne à la <a href="Carte_%C3%A0_puce" title="Carte à puce">carte à puce</a><a href="#cite_note-18">[note 7]</a> c'est-à-dire présente sur la carte qui inclut l’interpréteur de code Java Card<a href="#cite_note-Chen2000_31-15">[11]</a>.</li></ul>

Ensemble, ils implémentent le chargement des fichiers de classe Java par l’intermédiaire du vérificateur et convertisseur pour enfin exécuter l'applet à l'aide de l’interpréteur.

<dl><dt>le vérificateur<a href="#cite_note-havsp_Oracle_1-19">[12]</a></dt>

<dd>examine un ou plusieurs fichiers de classe contenant le <a href="Bytecode_Java" title="Bytecode Java">bytecode</a>, pour assurer qu'il respecte la syntaxe et les règles du langage et vérifie statiquement que les flux de contrôle et de données ne produiront pas d'erreur lors de l’exécution<a href="#cite_note-20">[13]</a>.</dd></dl>

<dl><dt>le convertisseur</dt>

<dd>charge les fichiers de classe vérifiés par le vérificateur. Il produit un fichier CAP<a href="#cite_note-21">[note 8]</a>, (contenant une représentation compacte d'un ou plusieurs fichiers Java compilés) correspondant à la conversion d’une applet<a href="#cite_note-Chen2000_32-22">[14]</a>.</dd></dl>

En plus de la création d'un fichier CAP, le convertisseur produit un fichier d'exportation<a href="#cite_note-23">[note 9]</a> contenant des informations API publiques pour un ou plusieurs fichiers de classe<a href="#cite_note-Chen2000_33-24">[15]</a>.

Il définit le niveau d'accès et le nom d'une classe ainsi que le niveau d'accès et les signatures des méthodes et champs de la classe. Un fichier d'exportation contient aussi des informations utilisées pour résoudre des jonctions de référence entre différentes applets sur la carte<a href="#cite_note-Chen2000_34-14">[10]</a>.

L’interpréteur de Java Card fournit le support d'exécution du langage Java, il exécute les tâches suivantes<a href="#cite_note-Chen2000_35-25">[16]</a> :

<ul><li>exécute des instructions de code des <a href="Applet_Java" title="Applet Java">applets</a> ;</li>

<li>contrôle la création d'objet et l'attribution de mémoire ;</li>

<li>joue un rôle crucial dans l'assurance de la sécurité pendant l'exécution.</li></ul>

L’interpréteur de Java Card ne charge pas de fichier de classe ou fichier CAP, il en exécute seulement le code<a href="#cite_note-Chen2000_35-25">[16]</a>. Dans la technologie de Java Card, les mécanismes de téléchargement et d'installation sont inclus dans une unité appelée l'installateur résidant dans la carte à puce<a href="#cite_note-Chen2000_35-25">[16]</a>. Il coopère avec un programme d'installation non-implémenté sur la carte. Le programme d'installation transmet le(s) fichier(s) à l'installateur sur la carte via un dispositif d'acceptation de carte (CAD<a href="#cite_note-26">[note 10]</a>). L'installateur écrit le(s) fichier(s) dans la mémoire de carte à puce pour être lu avec les autres classes qui sont déjà embarquées sur la carte. Il crée et initialise les structures de données qui sont utilisées par la JCRE.

<div class="mw-heading mw-heading4"><h4 id="Environnement_d'exécution_Java_Card">Environnement d'exécution Java Card</h4></div>

Le JCRE est responsable de la gestion des ressources de la carte, des communications réseaux, de l'exécution et la sécurité des applets<a href="#cite_note-Chen2000_36-27">[17]</a>. Il est implémenté sur la carte à puce et sert essentiellement au système d'exploitation présent sur la carte<a href="#cite_note-Chen2000_36-27">[17]</a>.

Le JCRE est composé de la JCVM, des APIs, d'extensions spécifiques à une industrie<a href="#cite_note-28">[note 11]</a>. et des systèmes de classes<a href="#cite_note-Chen2000_36-27">[17]</a>.

Le JCRE distingue les applets des propriétés techniques de la carte à puce. Il fournit le système standard et les APIs pour les applets. Celles-ci sont donc plus simples à écrire et sont donc facilement portables sur différentes architectures de cartes à puce<a href="#cite_note-Chen2000_36-27">[17]</a>.

La couche inférieure du JCRE contient la JCVM et les méthodes natives<a href="#cite_note-29">[note 12]</a>. Elles fournissent le support à la JCVM et le système de classes pour la couche suivante.

Le système de classes cadre le fonctionnement du JCRE<a href="#cite_note-Chen2000_37-30">[18]</a> et son rôle est similaire à un système d'exploitation. Il est responsable :

<dl><dt>de la gestion des transactions</dt>

<dd>mécanisme permettant de rendre un ensemble d’opérations atomiques (ex : transaction bancaire)<a href="#cite_note-Dufay_2003_p28-31">[19]</a>.</dd>

<dt>des communications avec le serveur CAD</dt>

<dd>La gestion des communications d'Applets, se fait via l’<a href="Application_Protocol_Data_Unit" title="Application Protocol Data Unit">Application Protocol Data Unit</a> (APDU)s dont la structure est définie par la norme ISO 7816<a href="#cite_note-Dufay_2003_p28-31">[19]</a>.</dd>

<dt>du cycle de vie des applets</dt>

<dd>Le JCRE initialise l'<a href="Applet" title="Applet">applet</a> après son installation. Il peut sélectionner alors l'<a href="Applet" title="Applet">applet</a> pour lui signifier de s’exécuter, la dé sélectionner ou lui transmettre un signal APDU<a href="#cite_note-Dufay_2003_p28-31">[19]</a>.</dd></dl>

Le système de classes invoque les méthodes natives<a href="#cite_note-Chen2000_38-32">[20]</a>. Elles contiennent un ensemble de fonctions bas niveau qui permettent au JCRE de gérer les ressources physiques de la carte telles que les <a href="Entr%C3%A9es-sorties" class="mw-redirect" title="Entrées-sorties">entrées-sorties</a>, la gestion de la mémoire ou le coprocesseur cryptographique. Ces méthodes sont compilées en code exécutable dédié au processeur de la carte<a href="#cite_note-Chen2000_36-27">[17]</a>.

La structure de classes API définit les interfaces de programmation d'application, <a href="Interface_de_programmation" title="Interface de programmation">API</a><a href="#cite_note-Chen2000_37-30">[18]</a>. L'avantage majeur est qu'elle rend plus facile la création d'<a href="Applet" title="Applet">applet</a>. Les développeurs d'<a href="Applet" title="Applet">applet</a> peuvent concentrer leurs efforts sur la programmation vis-à-vis des contraintes de l'infrastructure de système de carte à puce grâce aux extensions d'API disponibles<a href="#cite_note-Chen2000_38-32">[20]</a>. Les applets ont accès aux services JCRE par des classes API.

La structure extension spécifique à une industrie fournit les bibliothèques complémentaires de services supplémentaires ou des modèles de système et de sécurité (ex : industries financières)<a href="#cite_note-Chen2000_37-30">[18]</a>.

L'installateur permet le téléchargement sécurisé de logiciels et d’<a href="Applet" title="Applet">applets</a> sur la carte après que la carte a été produite et fournie à l'utilisateur<a href="#cite_note-Chen2000_37-30">[18]</a>. L'installateur interne coopère avec l'installateur externe à la carte. Ensemble, ils accomplissent la tâche de charger le contenu binaire du fichier CAP ou fichier de(s) classe(s). Cependant, l'installateur est un composant JCRE facultatif, mais sans lui tous logiciels de carte, y compris les <a href="Applet" title="Applet">applets</a>, devraient être écrits dans la mémoire de la carte pendant le procédé de fabrication<a href="#cite_note-Chen2000_36-27">[17]</a>.

L’interface de programmation d'application <a href="Interface_de_programmation" title="Interface de programmation">API</a> disponible permet de développer des applications et fournir des services à ces applications<a href="#cite_note-33">[21]</a> :

Ces classes définissent les conventions selon lesquelles une Applet Java Card a accès au JCRE et aux fonctions natales, y compris la fonction de système d'exploitation, l'accès à la mémoire et les opérations d'entrée-sortie. Les API utilisées par la carte sont :

<dd>est un sous-ensemble du paquet java.io dans le langage de programmation <a href="Java_(langage)" title="Java (langage)">Java</a> standard.</dd>

<dd>fournit les fondamentaux pour la conception du sous-ensemble de technologie de Java Card du langage de programmation <a href="Java_(langage)" title="Java (langage)">Java</a>. Les classes fournies sont tirées de java.lang dans le langage de programmation Java standard et représentent la fonction principale requise par la JVCM. Cette fonction principale est représentée par la classe d'Objet, qui est la super-classe pour toutes les classes de langage <a href="Java_(langage)" title="Java (langage)">Java</a> et la classe Exception, qui est la super-classe pour l'exception et les classes d'exception pendant l'exécution.</dd>

<dd>définit l'interface à distance qui identifie les interfaces dont les méthodes peuvent être invoquées du périphérique de réception de carte (CAD) des applications client.</dd>

<dt>Javacard.framework</dt>

<dd>fournit une structure de classes et des interfaces pour la conception et la communication des applets, contient les fonctionnalités essentielles de fonctionnement avec Java Card.</dd>

<dt>Javacard.framework.service</dt>

<dd>fournit une structure de services de classes et d’interfaces qui permettent à une Applet de Java Card d'être conçue comme une liste de composants de services.</dd>

<dt>Javacard.security</dt>

<dd>fournit les classes et les interfaces qui contiennent la fonction disponible pour implémenter une sécurité et une structure de <a href="Cryptographie" title="Cryptographie">cryptographie</a> sur la Java Card. Les classes du paquet Javacard.security fournissent les définitions des algorithmes qui exécutent cette sécurité et les fonctions de cryptographie<a href="#cite_note-SUN_API-34">[22]</a>

<dl><dd><ol><li>Mises en œuvre de clés de chiffrement différentes par la classe KeyBuilder ;</li>

<li>Hachage des données par la classe MessageDigest ;</li>

<li>Génération de données aléatoires par la classe RandomData ;</li>

<li>Signature par la classe Signature ;</li>

<li>Échanges de <a href="Cl%C3%A9_de_session" title="Clé de session">clé de session</a> par la classe KeyAgreement.</li></ol></dd></dl></dd></dl>

<dl><dt>Javacardx.crypto</dt>

<dd>contient la fonction qui implémente la sécurité et la structure de cryptographie sur la Java Card. C'est une extension du paquet précédent. Il contient la classe Cipher et l'interface KeyEncryption. Cipher est une classe qui fournit des méthodes pour chiffrer et déchiffrer des messages<a href="#cite_note-havsp_Ghindici_6-35">[23]</a>. KeyEncryption est une interface qui fournit la fonction qui permet aux clés d'être mises à jour d'une façon continue sécurisée.</dd></dl>

<div class="mw-heading mw-heading3"><h3 id="Version_Java_Card_3_«_Connectée_»">Version Java Card 3 « Connectée »</h3></div>

La version 3 « Connectée » des spécifications de la plateforme Java Card présente des différences profondes avec les autres versions existantes.

Tout d'abord, alors que les versions antérieures ne pouvaient charger que des <a href="Fichier_binaire" title="Fichier binaire">fichiers binaires</a> spécifiques (les fichiers CAP), les applications Java Card 3 « Connectées » sont déployées sous forme de fichiers java compilés de façon conventionnelle (des fichiers <code>.class</code>) regroupés dans des fichiers <code>.jar</code>, à l'instar des machines virtuelles java conventionnelles<a href="#cite_note-havsp_Sun_White_Paper_5-36">[24]</a>. Il n'est alors plus nécessaire d'avoir recours à des outils de conversions de code.

Par ailleurs Java Card 3 « Connectée » privilégie le mode de communication de l'internet : les <a href="Internet_Protocol" title="Internet Protocol">protocoles internet</a> via norme IP ISO 7816-4 pour les interfaces « avec contacts ». La norme ISO 14443 est elle utilisée pour les interfaces «sans contact»<a href="#cite_note-havsp_Sun_White_Paper_2-12">[9]</a>. Les applications Java Card 3 « Connectées » sont en fait, des <a href="Servlet" title="Servlet">Servlets</a>, c'est-à-dire de véritables <a href="Service_Web" class="mw-redirect" title="Service Web">Services Web</a>, qui respectent, à ce titre, le protocole <a href="Hypertext_Transfer_Protocol" title="Hypertext Transfer Protocol">HTTP</a>.

La machine virtuelle Java Card 3 est basée sur le CLDC<a href="#cite_note-37">[note 13]</a> largement utilisé dans le monde de la téléphonie mobile<a href="#cite_note-38">[25]</a>. Cette plate-forme donne accès aux fonctionnalités les plus riches du langage JAVA<a href="#cite_note-havsp_Sun_White_Paper_2-12">[9]</a>. La plate-forme CLDC a été réduite en taille, les protocoles et les systèmes sécurités de cartes à puce ont été intégrés<a href="#cite_note-havsp_Sun_White_Paper_2-12">[9]</a>.

Évolution des périphériques supportant la technologie Java Card<a href="#cite_note-havsp_Sun_White_Paper_4-39">[26]</a>

<th>Carte à puce traditionnelle</th>

<th>Carte à puce récente compatible V3

</th></tr>

<tr>

<td>32-bit CPU

</td></tr>

<tr>

<td>24 kb RAM

</td></tr>

<tr>

<td>>256 kb ROM

</td></tr>

<tr>

<td>8–32 kb EEPROM</td>

<td>>128 kb EEPROM

</td></tr>

<tr>

<td>Serial I/O interface</td>

<td>High-speed interfaces

</td></tr>

<tr>

<td>1,5 Mb/s - 12 Mb/s

</td></tr>

<tr>

<td>Full duplex</td>

<td>Half duplex

</td></tr></tbody></table>

Amélioration apportée par la version 3 connectée<a href="#cite_note-havsp_Sun_White_Paper_5-36">[24]</a>.

<ul><li>Applications de type <a href="Servlet" title="Servlet">servlets</a><a href="#cite_note-havsp_Sun_White_Paper_5-36">[24]</a>.</li>

<li>Gestion de multitâches (Multithreading)<a href="#cite_note-havsp_Sun_White_Paper_5-36">[24]</a>.</li>

<li>Vérification par byte code interne<a href="#cite_note-havsp_Sun_White_Paper_5-36">[24]</a>(Vérification de.class par la machine virtuelle interne).</li>

<li>Ramasse Miette automatique (Garbage collector) inclut dans la machine virtuelle<a href="#cite_note-havsp_Sun_White_Paper_5-36">[24]</a>.</li>

<li>Ajout des types Char, Long et String<a href="#cite_note-havsp_Sun_White_Paper_5-36">[24]</a>.</li>

<li>Tableau multidimensionnel<a href="#cite_note-havsp_Sun_White_Paper_6-40">[27]</a>.</li>

<li>Classe représentant les types primitifs (Boolean, Integer,…)<a href="#cite_note-havsp_Sun_White_Paper_6-40">[27]</a>,<a href="#cite_note-41">[28]</a></li>

<li>Classe de la manipulation de Chaines de caractères (StringBuilder…)<a href="#cite_note-havsp_Sun_White_Paper_6-40">[27]</a>,<a href="#cite_note-42">[29]</a>.</li>

<li>Classe pour la gestion des Entrées/Sorties (Reader, Writer et Stream)<a href="#cite_note-havsp_Sun_White_Paper_6-40">[27]</a>.</li>

<li>Classe pour la gestion du réseau<a href="#cite_note-havsp_Sun_White_Paper_6-40">[27]</a>.</li>

<li>Classe pour la gestion des collections (Vector, hashtable…)<a href="#cite_note-havsp_Sun_White_Paper_6-40">[27]</a>.</li>

<li>Classe pour la gestion des dates<a href="#cite_note-havsp_Sun_White_Paper_6-40">[27]</a>.</li>

<li>Classe pour la gestion de la localisation et de l’internationalisation<a href="#cite_note-havsp_Sun_White_Paper_6-40">[27]</a>.</li>

<li>Le langage de programmation a été étoffé de spécificités issues de Java SE<a href="#cite_note-havsp_Sun_White_Paper_6-40">[27]</a> :</li></ul>

<td>Spécificités

</td></tr>

<tr>

<td>Générics<a href="#cite_note-43">[30]</a>

</td></tr>

<tr>

<td>Métadonnées

</td></tr>

<tr>

<td>Autoboxing<a href="#cite_note-Autoboxing-44">[31]</a>

</td></tr>

<tr>

<td>Amélioration de la boucle for

</td></tr>

<tr>

<td>Assert (<a href="Test_unitaire" title="Test unitaire">test unitaire</a>)

</td></tr>

<tr>

<td>Énumération<a href="#cite_note-45">[32]</a>

</td></tr>

<tr>

<td>Utilisation de méthodes à argument Variables<a href="#cite_note-Autoboxing-44">[31]</a>

</td></tr>

<tr>

<td>Import static<a href="#cite_note-46">[33]</a>

</td></tr></tbody></table>

Limitation du moteur de servlet de java card V3<a href="#cite_note-SUN_SERVET-47">[34]</a>

Liste des principales caractéristiques présentes dans les spécifications Java Serlet 2.4<a href="#cite_note-48">[35]</a> qui ne sont pas supportées par la plate-forme Java Card V3.

<ul><li>API non supportées (java.io.File, java.net.URL, java.util.Map, java.util.Set, java.security.cert.X509Certificate...). Par exemple, il est impossible d'effacer un fichier avec la méthode delete de la classe java.io.File, impossible d’utiliser la structure hashmap, impossible d'utiliser la gestion des certificats X509 (<abbr class="abbr" title="Request for comments" lang="en">RFC</abbr> 2459<a href="#cite_note-RFC-2459-t-d-49">[36]</a>).</li>

<li>Nombre flottant (float). Il est impossible de réaliser des opérations sur des nombres à virgules.</li>

<li>Sérialisation et clonage d'objets (java.io.Serializable, java.lang.Cloneable). Il impossible de convertir les objets en flux binaire pour gérer persistance. Il est impossible de créer de nouvelles instances à partir d'une référence d'objet (clone).</li>

<li>Support des Java Server Pages V2.0. Les balises JSP ne sont pas reconnues, donc obligation d'écrire des servlets en Java.</li>

<li><a href="Java_Naming_and_Directory_Interface" title="Java Naming and Directory Interface">Java Naming and Directory Interface</a>. Pas d’accès aux classes de gestion d'annuaires.</li></ul>

<div class="mw-heading mw-heading2"><h2 id="Sécurité_des_applications_Java_Card">Sécurité des applications Java Card</h2></div>

La gestion de la sécurité développée pour les cartes à puce est implémentée par la JCVM qui fournit les règles de sécurité suivantes<a href="#cite_note-50">[37]</a> :

<ul><li>Chaque JCVM contient une fonction vérificateur dont le rôle est de vérifier les fichiers Java compilés (.class) issue d'un compilateur java. Cependant sur la plate-forme Java Card version 3, il est possible de charger directement des fichiers de classes sans passer par le vérificateur et le convertisseur.</li>

<li>La fonction sécurité de la JCRE met en application des pare-feu pour isoler chaque applet ou servlet, ce qui empêche l'accès non autorisé d'objets créés par une autre applet.</li>

<li>Tous les accès aux méthodes et variables dans un fichier de classe se font par accesseurs<a href="#cite_note-51">[note 14]</a>. Ces accesseurs définissent un contrôle de cohérence du type primitif pour chaque méthode. Il est possible de déclarer une méthode « public », « protected » (accessibles par des méthodes dans la même sous-classe ou « package ») ou « private » (aucun accès par d'autres classes). Si aucune déclaration n'est faite, la méthode peut être accessible par n'importe quelle classe dans le même paquet.</li></ul>

Au-delà de la vérification de code objet implémentée par la JCVM, la plate-forme de Java Card 3 implémente des mécanismes de sécurité qui fournissent le niveau d'application et la sécurité des communications<a href="#cite_note-Sun_13-52">[38]</a>.

La plate-forme de Java Card supporte un mécanisme d'isolement de code. L'isolement de code assure que le code chargé d'une application ne se heurte pas au code d'autres applications<a href="#cite_note-Sun_14-53">[39]</a>.

La plate-forme de Java Card supporte l'isolement de contexte<a href="#cite_note-54">[note 15]</a> et d’applications. L'isolement de contexte assure que les objets créés, donc en possession d’applications fonctionnant dans un même contexte, ne peuvent pas être accédés par des applications d'un autre contexte à moins que ces applications possédant ces objets ne fournissent explicitement des interfaces pour l'accès. De telles interfaces sont appelées des interfaces en commun et des objets implémentant ces interfaces, appelés commun interface objets, constituent des points d'entrée légaux à ces applications<a href="#cite_note-Sun_14-53">[39]</a>.

La sécurité à base de rôles permet à la politique de sécurité d'une application de limiter l'accès aux ressources protégées de l’application. Les restrictions sont basées sur les caractéristiques de l'application demandant l'accès, comme son identité et l'identité de l'utilisateur sur lequel la défense d’accès est demandée<a href="#cite_note-Sun_14-53">[39]</a>.

L'authentification de l'utilisateur est le processus par lequel un utilisateur prouve son identité à la carte. Cette identité authentifiée est alors utilisée par la plate-forme pour exécuter des décisions d'autorisation, comme celles requises par la sécurité à base de rôles, pour avoir accès aux ressources protégées<a href="#cite_note-Sun_16-55">[40]</a>.

L'authentification d'application client est le processus par lequel une application cliente prouve son identité à une application serveuse. Cette identité authentifiée est alors utilisée par l'application serveuse pour exécuter des décisions d'autorisation dans le but d'avoir accès aux ressources protégées<a href="#cite_note-Sun_16-55">[40]</a>.

Avec la plate-forme java Card, les applications peuvent interagir avec des applications à distance par des communications de réseaux sécurisées (TLS, SSL)<a href="#cite_note-Sun_17-56">[41]</a>.

Un développeur d'application Web peut déclarer des prérequis pour l'intégrité et la confidentialité lors du déploiement d'une application Web. Le développeur d'application ou le fournisseur peut aussi exiger que l'on héberge l'application sur un port sécurisé dédié avec des connexions HTTPS ouvertes<a href="#cite_note-Sun_17-56">[41]</a>.

La plate-forme Java Card supporte une structure de cryptographie. Un développeur d'application ou un fournisseur peut choisir l'algorithme de cryptographie qui répond le mieux aux besoins de son application

<a href="#cite_note-Sun_19-57">[42]</a>.

<div class="mw-heading mw-heading2"><h2 id="Concept_de_programmation">Concept de programmation</h2></div>

<div class="mw-heading mw-heading3"><h3 id="Principe_de_programmation_d'une_Applet">Principe de programmation d'une Applet</h3></div>

Un Applet Java Card respecte la norme ISO 7816. C’est-à-dire qu’elle répond à des requêtes de la même manière qu’elle les reçoit sous la forme de commandes en byte codes. Ceci simplifie considérablement le développement d’une application, car il n’y a plus besoin de coder en bas niveau l’envoi et la réception des commandes. En effet cette partie est maintenant encapsulée dans un <a href="Framework" title="Framework">framework</a> java.

Les commandes en byte code sont appelées des APDU (Application Protocol Data Unit). Celles-ci sont codées différemment en fonction de l’envoi et de la réception<a href="#cite_note-ISO_7816-4-58">[43]</a>.

Une commande APDU telle qu'elle est envoyée depuis le lecteur à la carte Java est une série de cinq octets éventuellement suivis d'un nombre variable d'octets, formatés comme suit :

<dd>CLA est le nom du premier octet, dit octet de classe, défini par la norme ISO 7816, indiquant le numéro de commande<a href="#cite_note-ISO_7816-4-58">[43]</a>.</dd>

<dd>INS est le nom du second octet, dit octet d’instruction<a href="#cite_note-ISO_7816-4-58">[43]</a>.</dd>

<dd>P1 est le nom du troisième octet, dit octet de paramètre 1<a href="#cite_note-ISO_7816-4-58">[43]</a>.</dd>

<dd>P2 est le nom du quatrième octet, dit octet de paramètre 2<a href="#cite_note-ISO_7816-4-58">[43]</a>.</dd>

<dd>Ln est le nom du cinquième octet, il indique le nombre d'octets de données qui vont suivre (qu'elles soient envoyées ou reçues, 0x00 indiquant qu'aucune donnée additionnelle ne suivra)<a href="#cite_note-ISO_7816-4-58">[43]</a>.</dd>

<dt>Données</dt>

<dd>Ce sont les données, au nombre de Ln, qui sont transmises par le lecteur à la carte. Si l'application embarquée prévoit seulement une transmission en sens inverse, aucune donnée n'est transmise ici<a href="#cite_note-ISO_7816-4-58">[43]</a>.</dd>

<dd>Le est le dernier octet après les données indiquant la taille maximale des données pour la réponse<a href="#cite_note-ISO_7816-4-58">[43]</a>.</dd></dl>

Une réponse APDU telle qu'elle est envoyée depuis la carte Java au lecteur, est une série d'octets, retournée en réponse à une commande et formatée comme suit :

<dl><dt>Données</dt>

<dd>Ce sont les données, au nombre de Le, qui sont envoyées par la carte au lecteur<a href="#cite_note-ISO_7816-4-58">[43]</a>.</dd>

<dt>Statut</dt>

<dd>statut renvoyé par la carte, codé sur deux octets nommés : SW1 et SW2.</dd>

<dd>le premier octet, appelé SW1 indique le type de réponse. La valeur hexadécimale une valeur entre <code>0x90</code> et <code>0x9F</code> indique que la commande a été correctement exécutée. Une valeur entre <code>0x60</code> et <code>0x6F</code> indique que la commande n'a pas pu être exécutée par le programme placé dans la carte<a href="#cite_note-ISO_7816-4-58">[43]</a>.</dd>

<dd>le second octet, appelé SW2 rapporte éventuellement des informations supplémentaires concernant la réponse<a href="#cite_note-ISO_7816-4-58">[43]</a>.</dd></dl>

Lorsque la commande au niveau de l’applet s’exécute normalement, la valeur du statut renvoyé correspond à 90 00.

Si une instruction INS prévoit à la fois d'envoyer et de recevoir des données, Java Card normalise un système d'APDU en deux phases. Dans un premier temps, l'APDU est envoyée avec pour <Ln> un nombre d'octets à envoyer, puis lorsque la carte répond 0x91 <Le> (indiquant que <Le> octets sont prêts à être retournés par la carte, en réponse à la commande) une APDU Get Response est transmise pour déclencher la réception de ces <Le> octets sortants<a href="#cite_note-ISO_7816-4-58">[43]</a>.

En résumé, le champ de donnée(s) est optionnel dans les deux cas, APDU de commande et APDU de réponse. Par conséquent, il y a quatre cas possibles de communication entre le client et la plateforme Java Card Platform, Version 2.2.2 (ou Version 3.0.1

Classic Edition) :

<td>APDU de commande sans donnée</td>

<td>APDU de réponse sans donnée

</td></tr>

<tr>

<td>APDU de commande avec donnée(s)</td>

<td>APDU de réponse sans donnée

</td></tr>

<tr>

<td>APDU de commande sans donnée</td>

<td>APDU de réponse avec donnée(s)

</td></tr>

<tr>

<td>APDU de commande avec donnée(s)</td>

<td>APDU de réponse avec donnée(s)

</td></tr></tbody></table>

Avant de pouvoir transmettre une commande à une Applet déployée dans une Java Card, il est nécessaire de la sélectionner par l’envoi d’une commande APDU spécifique en précisant l’identifiant de l’application AID<a href="#cite_note-59">[note 16]</a>. L’identifiant d’application est composé de deux parties. La première sur 5 octets, le RID<a href="#cite_note-60">[note 17]</a>, est assigné par la norme ISO. Celui-ci correspond à l’identifiant propre à l’entreprise. Le second, PIX<a href="#cite_note-61">[note 18]</a> est quant à lui composé entre 0 et 11 octets. L’assignation de celui-ci reste à la charge de l’entreprise qui développe l'application Java Card<a href="#cite_note-62">[44]</a>.

Pour la programmation d’une Java Card, il y a cinq étapes importantes :

<ul><li>Écriture du code Java source ;</li>

<li>Compilation du code ;</li>

<li>Conversion des fichiers <code>.class</code> en <code>.cap</code> ;</li>

<li>Vérification du fichier <code>.cap</code> (optionnel) ;</li>

<li>Installation du fichier <code>.cap</code> dans la Java Card.</li></ul>

Le point fort du développement Java Card est que les deux premières étapes peuvent être réalisées avec un environnement de développement JAVA classique.

Voici un exemple de code renvoyant tout simplement la chaine de caractères ‘Hello World’ sur la demande liée à l’instruction 0x10. Dans cet exemple le AID est composé des valeurs de RID = DA8EF6DD26 et de PIX = 86E899.

Exemple d’applet ‘Hello World’<a href="#cite_note-Gemalto_19-63">[45]</a>.

<div class="mw-highlight mw-highlight-lang-java mw-content-ltr" dir="ltr"><pre>import javacard.framework.*;

public class HelloWorld extends Applet {

// Initialisation de la variable avec ‘H’, ‘e’, ‘l’, ‘l’, ‘o’, ' ', 'W', 'o', 'r', 'l', 'd'.

private final static byte[] message = { 0x48, 0x65, 0x6c, 0x6c, 0x6f, 0x20, 0x77, 0x6f, 0x72, 0x6c, 0x64 };

public static void install(byte[] bArray, short bOffset, byte bLength) { new HelloWorld(); }

protected HelloWorld() { register(); }

public void process(APDU apdu) {

if (selectingApplet()) {

// Retourne le statut à OK

return;

}

byte[] buffer = apdu.getBuffer() ;

if ( buffer[ISO7816.OFFSET_CLA] != (byte)(0x80) )

ISOException.throwIt(ISO7816.SW_CLA_NOT_SUPPORTED); // Retourne le status word CLA NOT SUPPORTED

switch(buffer[ISO7816.OFFSET_INS]) {

case 0x10 :

// Copie du contenu du message dans le buffer de la reponse

Util.arrayCopy(message, (byte)0, buffer, ISO7816.OFFSET_CDATA, (byte)message.length);

// Envoi de la réponse

apdu.setOutgoingAndSend(ISO7816.OFFSET_CDATA, (byte)message.length);

break;

default:

// Retourne le statut à la valeur INS NOT SUPPORTED

}

}

</pre></div>

Pour cet exemple, deux échanges d'APDU sont nécessaires entre le client et la Java Card :

Le premier envoi correspond à la sélection de l'application en précisant l'AID :

Commande : 0x00 0xA4 0x04 0x00 0X08 0XDA 0X8E 0XF6 0XDD 0X26 0X86 0XE8 0X9A

Réponse : 90 00

Le second appel, envoi le code instruction 0x10 correspondant à la fonction 'char* hello()' sans données supplémentaires

Commande : 0x80 0x10 0x00 0x00 0x00

Réponse : 48 65 6C 6C 6F 20 77 6F 72 6C 64 90 00

Le contenu de l'APDU de réponse contient les données envoyées par l'Applet suivies du code de retour qui a pour valeur 90 00. Celle-ci nous indique que la fonction a été exécutée sans problème. Les données sont composées d'une série d'octets contenant les 11 caractères de la <a href="Cha%C3%AEne_de_caract%C3%A8res" title="Chaîne de caractères">chaîne de caractères</a> 'Hello World'.

<div class="mw-heading mw-heading3"><h3 id="Principe_de_programmation_d'une_Servlet">Principe de programmation d'une Servlet</h3></div>

Voici un exemple de code renvoyant la chaine de caractères ‘Hello World from Java Card’ lors de l'appel à la Servlet.

Exemple de Servlet ‘Hello World’

Contenu du fichier .java

<div class="mw-highlight mw-highlight-lang-java mw-content-ltr" dir="ltr"><pre>package org.carte.web;

import java.io.IOException;

import java.io.PrintWriter;

import javax.servlet.http.HttpServlet;

import javax.servlet.http.HttpServletRequest;

import javax.servlet.http.HttpServletResponse;

public class HelloWorldWeb extends HttpServlet {

@Override

public void doGet(HttpServletRequest request, HttpServletResponse response)

throws IOException {

response.setContentType("text/html");

PrintWriter out = response.getWriter();

try {

out.println("<html><head><title>HelloWorldWeb</title></head>");

out.println("<body><h1>HelloWorldWeb</h1>");

out.println("Hello World from Java Card</body></html>");

} finally {

out.close();

}

}

</pre></div>

Contenu du fichier web.xml

<div class="mw-highlight mw-highlight-lang-xml mw-content-ltr" dir="ltr"><pre><web-app xmlns="http://java.sun.com/xml/ns/j2ee"

xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"

version="2.4"

xsi:schemaLocation="http://java.sun.com/xml/ns/j2ee http://java.sun.com/xml/ns/javacard/jcweb-app_3_0.xsd">

<description>The web application deployment descriptor conveys web application model

elements and configuration information of an application between application

developers, application assemblers, and deployers.

</description>

<display-name>Hello World Web</display-name>

<servlet-name>HelloWorldWeb</servlet-name>

<servlet-class>org.carte.web.HelloWorldWeb</servlet-class>

</servlet>

<servlet-mapping>

<servlet-name>HelloWorldWeb</servlet-name>

<url-pattern>/helloworldweb</url-pattern>

</servlet-mapping>

</web-app>

</pre></div>

L'appel de la Servlet se fait par l’intermédiaire d'un navigateur web en précisant l'URL suivante :

<pre>http://adresse_de_la_carte/helloworldweb</pre>

L'utilisation des Servlets sur une Java card se fait exactement de la même manière que sur une plate-forme JAVA EE.

<div class="mw-heading mw-heading2"><h2 id="Intérêts">Intérêts</h2></div>

Les producteurs de cartes à puces (tel que <a href="Gemalto" class="mw-redirect" title="Gemalto">Gemalto</a>, <a href="Idemia" title="Idemia">Idemia</a>...) implémentent les fonctionnalités de Java Card suivantes<a href="#cite_note-Oracle-64">[46]</a> :

<ul><li>Interopérabilité : les Applets développées avec la technologie Java Card fonctionnent sur n'importe quel type de cartes à puce (et indépendamment du matériel sous-jacent).</li>

<li>Sécurité : la technologie de Java Card repose sur la sécurité du langage de programmation Java pour fournir un environnement d'exécution sécurisé.</li>

<li>Possibilité d'applications multiples<a href="#cite_note-65">[note 19]</a> : la technologie de Java Card permet à de multiples applications de cohabiter en sécurité sur une seule carte à puce.</li>

<li>Dynamique : de nouvelles applications peuvent être installées en toute sécurité après qu'une carte a été fournie à l'utilisateur, permettant aux producteurs de carte de répondre dynamiquement aux besoins de changement de leur client.</li>

<li>Compatible avec les normes existantes : l'API de Carte Java est compatible avec les standards internationaux pour <a href="Carte_%C3%A0_puce" title="Carte à puce">Carte à puce</a> comme ISO7816 ou <a href="Europay_Mastercard_Visa" title="Europay Mastercard Visa">Europay Mastercard Visa</a> :</li></ul>

L'utilisation du langage de programmation Java apporte un gain pour les développeurs d'applications<a href="#cite_note-Oracle-64">[46]</a> :

<ul><li>La <a href="Programmation_orient%C3%A9e_objet" title="Programmation orientée objet">programmation orientée objet</a> apporte une plus grande modularité du code et sa réutilisation, augmentant la productivité du programmeur.</li>

<li>La protection figurant dans les caractéristiques du langage de programmation Java s'applique aux applets de Java Card, mettant en application des attributs de protection et de typage fort.</li></ul>

<div class="mw-heading mw-heading2"><h2 id="Marché">Marché</h2></div>

De nombreux types de <a href="Carte_%C3%A0_puce" title="Carte à puce">cartes à puce</a> peuvent profiter de la technologie de Java Card<a href="#cite_note-66">[47]</a>:

<ul><li><a href="Carte_SIM" title="Carte SIM">Carte SIM</a> (Subcriber Identity Module) utilisée dans les téléphones cellulaire sur les réseaux sans fil.</li>

<li>Carte bancaire.</li>

<li>Carte d'identité.</li>

<li>Carte santé.</li>

<li>Les cartes qui fournissent l'accès logique et physique aux ressources d'entreprises.</li></ul>

Sur la majorité de réseaux téléphoniques cellulaires, un abonné utilise une <a href="Carte_%C3%A0_puce" title="Carte à puce">carte à puce</a> généralement appelée une <a href="Carte_SIM" title="Carte SIM">carte SIM</a> pour activer le téléphone. La carte authentifie l'utilisateur et fournit des <a href="Cl%C3%A9_de_chiffrement" title="Clé de chiffrement">clés de chiffrement</a> pour le transport de la voix numérique. les <a href="Carte_SIM" title="Carte SIM">cartes SIM</a> implémentées de la technologie de Java Card peuvent aussi fournir des services transactionnels bancaires à distance. Des centaines de millions de <a href="Carte_SIM" title="Carte SIM">cartes SIM</a> basées sur la technologie de Java Card fonctionnent déjà avec des services innovants sur les <a href="T%C3%A9l%C3%A9phonie_mobile" title="Téléphonie mobile">téléphones cellulaires</a>.

Dans le secteur bancaire, les <a href="Cartes_%C3%A0_puce" class="mw-redirect" title="Cartes à puce">cartes à puce</a> donnent l'accès sécurisé aux utilisateurs à une large gamme de services financiers incluant les distributeurs automatiques de billets, le paiement de factures et de péages. La technologie de Java Card permet à une seule <a href="Carte_%C3%A0_puce" title="Carte à puce">carte à puce</a> d'héberger de multiples applications financières et de livrer des services tiers ou de sécuriser sur le <a href="Commerce_%C3%A9lectronique" class="mw-redirect" title="Commerce électronique">commerce en ligne</a>.

De nombreuses applications sont disponibles dans les domaines où la sécurité et l'authentification sont importantes tel que l'accès sécurisé à des installations, dossiers médicaux.

La technologie de Java Card améliore l'accès grand public aux nouveaux services de <a href="Commerce_en_ligne" title="Commerce en ligne">commerce en ligne</a> par l’intermédiaire d'appareils connectés. En effet, les <a href="T%C3%A9l%C3%A9phonie_mobile" title="Téléphonie mobile">téléphones cellulaires</a> et les équipements de télévision pour chaînes payantes sont les exemples de marchés où la majorité de produits, déjà disponibles, incluent déjà des lecteurs de <a href="Carte_%C3%A0_puce" title="Carte à puce">carte à puce</a>.

Acteurs du marché<a href="#cite_note-Marche1-67">[48]</a>.

<th>Fabricant</th>

<th>Gamme de Produits

</th></tr>

<tr>

<td>STMicroelectronics, Atmel, Infineon, Samsung, NXP, Inside Contactless</td>

<td>Semi-Conducteur et Micro-Processeur

</td></tr>

<tr>

<td>Thales, IDEMIA, Safran Morpho, Giesecke & Devrient</td>

<td>Cartes

</td></tr>

<tr>

<td>Ingenico, Verifone, Hypercom, Nokia</td>

<td>Terminaux et lecteurs

</td></tr>

<tr>

<td>Orange, RATP, Véolia, BNP Paribas</td>

<td>Opérateur de services et e-Gouvernement

</td></tr>

<tr>

<td>Trusted Logic, Prism, Multos</td>

<td>Logiciel embarqués OS et Applications

</td></tr>

<tr>

<td>Cesti, Fime</td>

<td>Évaluation et Test

</td></tr>

<tr>

<td>Experian, Atos Worldline, First Data, Sopra</td>

<td>Intégration et systèmes

</td></tr></tbody></table>

Chiffres

Selon le rapport gouvernemental «Dimension économique et industrielle des cartes à puces» de <time class="nowrap" datetime="2009-11" data-sort-value="2009-11">novembre 2009</time>, le marché mondial des cartes à puces a dépassé les 5 milliards d'unités. (Source Nodal)<a href="#cite_note-Marche2-68">[49]</a>.

<div class="mw-heading mw-heading2"><h2 id="Glossaire">Glossaire</h2></div>

<ul><li>AID (Application IDentifier) : une chaine de caractères utilisée comme identifiant unique des Applets de la carte à puce selon la norme <a href="ISO_7816" class="mw-redirect" title="ISO 7816">ISO 7816</a></li>

<li>APDU : Abréviation pour Application Protocol Data Units défini selon la norme ISO 7816-4.</li>

<li>APPLET : un composant simple d'une application Java Card qui s'exécute dans l’environnement APDU.</li>

<li>APPLET ETENDU: Dans le contexte Java Card, Une Applet étendu possède les fonctionnalités de la version connectée. (Exemple : Manipulation de Chaine de caractère).</li>

<li>Conteneur d'Applet : Mécanisme qui manage le cycle de vie des Applets. Dans le contexte Java Card, le conteneur fournit les services de communication sur lesquels les commandes d'APDU et des réponses sont envoyés.</li>

<li>Ramasse Miette automatique (Garbage collector) : Mécanisme qui libère automatiquement la mémoire utilisé par des objets qui ne sont plus utilisés par l'application. (Uniquement disponible dans la version 3 connectée).</li>

<li>SERVLET : Un composant générant dynamiquement du contenu web s’exécutant au sein d'une application web.</li></ul>

<div class="mw-heading mw-heading2"><h2 id="Notes_et_références">Notes et références</h2></div>

<div class="mw-heading mw-heading3"><h3 id="Notes">Notes</h3></div>

<li id="cite_note-6"><a href="#cite_ref-6">↑</a> qui est nommée dans la littérature scientifique anglo-saxonne Java Card Virtual Machine

</li>

<li id="cite_note-8"><a href="#cite_ref-8">↑</a> qui est nommé dans la littérature scientifique anglo-saxonne Java Card Runtime Environment

</li>

<li id="cite_note-9"><a href="#cite_ref-9">↑</a> qui sont nommées dans la littérature scientifique anglo-saxonne Application Programmer Interface

</li>

<li id="cite_note-13"><a href="#cite_ref-13">↑</a> bytecode ou code binaire intermédiaire en français inclus dans les fichiers de classe (extension .class ).

</li>

<li id="cite_note-16"><a href="#cite_ref-16">↑</a> qui est nommé dans la littérature scientifique anglo-saxonne Off-Card

</li>

<li id="cite_note-17"><a href="#cite_ref-17">↑</a> qui est nommé dans la littérature scientifique anglo-saxonne Private Computer, «Ordinateur personnel» en français.

</li>

<li id="cite_note-18"><a href="#cite_ref-18">↑</a> qui est nommé dans la littérature scientifique anglo-saxonne On-Card

</li>

<li id="cite_note-21"><a href="#cite_ref-21">↑</a> qui est nommé dans la littérature scientifique anglo-saxonne CAP file (Converted APplet)

</li>

<li id="cite_note-23"><a href="#cite_ref-23">↑</a> qui est nommé dans la littérature scientifique anglo-saxonne Export File

</li>

<li id="cite_note-26"><a href="#cite_ref-26">↑</a> qui est nommé dans la littérature scientifique anglo-saxonne Card Acceptance

Device

</li>

<li id="cite_note-28"><a href="#cite_ref-28">↑</a> qui est nommée dans la littérature scientifique anglo-saxonne industry-specific extensions

</li>

<li id="cite_note-29"><a href="#cite_ref-29">↑</a> méthodes de bases qui sont nommées dans la littérature scientifique anglo-saxonne natives method

</li>

<li id="cite_note-37"><a href="#cite_ref-37">↑</a> qui est nommée dans la littérature scientifique anglo-saxonne Connected Limited Device Configuration

</li>

<li id="cite_note-51"><a href="#cite_ref-51">↑</a> . Un accesseur est une méthode permettant de récupérer le contenu d'une donnée membre protégée

</li>

<li id="cite_note-54"><a href="#cite_ref-54">↑</a> contexte : Un service de nom associe des noms avec des objets. Une association entre un nom et un objet est appelée une attache et des jeux d'attaches sont appelés un contexte. Un nom dans un contexte peut devoir nécessairement un autre contexte qui utilise les mêmes conventions de nommage ; le contexte attaché est appelé un sous-contexte.

</li>

<li id="cite_note-59"><a href="#cite_ref-59">↑</a> Application IDentifiant Identifiant d'application en français

</li>

<li id="cite_note-60"><a href="#cite_ref-60">↑</a> Ressource IDentifier Identifiant de la ressource en français

</li>

<li id="cite_note-61"><a href="#cite_ref-61">↑</a> Proprietary IDentifier extension extension de l'identifiant propriétaire en français

</li>

<li id="cite_note-65"><a href="#cite_ref-65">↑</a> qui est nommé dans la littérature scientifique anglo-saxonne Application multi capability.

</li>

</ol></div>

</div>

<div class="mw-heading mw-heading3"><h3 id="Références">Références</h3></div>

<li id="cite_note-havsp_Baentsch_p37-1"><a href="#Baentsch1999">Baentsch 1999</a>, <abbr class="abbr" title="page(s)">p.</abbr> 37

</li>

<li id="cite_note-2"><a href="#cite_ref-2">↑</a> <a href="#oracle_spécifications">Oracle : Spécifications des versions</a>

</li>

<li id="cite_note-Chen2000_29-3"><a href="#Chen2000">Zhiqun 2000</a>, <abbr class="abbr" title="page(s)">p.</abbr> 29

</li>

</li>

<li id="cite_note-5"><a href="#cite_ref-5">↑</a> <a href="#Oracle">Oracle : Chapitre Composants</a>

</li>

<li id="cite_note-Chen2000_30-7"><a href="#Chen2000">Zhiqun 2000</a>, <abbr class="abbr" title="page(s)">p.</abbr> 30

</li>

<li id="cite_note-havsp_Sun_White_Paper_7-10"><a href="#cite_ref-havsp_Sun_White_Paper_7_10-0">↑</a> <a href="#SUN_PLATFORM">Sun 2008</a>, <abbr class="abbr" title="page(s)">p.</abbr> 7

</li>

<li id="cite_note-havsp_Sun_White_Paper_1-11"><a href="#cite_ref-havsp_Sun_White_Paper_1_11-0">↑</a> <a href="#SUN_PLATFORM">Sun 2008</a>, <abbr class="abbr" title="page(s)">p.</abbr> 1

</li>

<li id="cite_note-havsp_Sun_White_Paper_2-12"><a href="#SUN_PLATFORM">Sun 2008</a>, <abbr class="abbr" title="page(s)">p.</abbr> 2

</li>

<li id="cite_note-Chen2000_34-14"><a href="#Chen2000">Zhiqun 2000</a>, <abbr class="abbr" title="page(s)">p.</abbr> 34

</li>

<li id="cite_note-Chen2000_31-15"><a href="#Chen2000">Zhiqun 2000</a>, <abbr class="abbr" title="page(s)">p.</abbr> 31

</li>

<li id="cite_note-havsp_Oracle_1-19"><a href="#cite_ref-havsp_Oracle_1_19-0">↑</a> <a href="#Oracle_OCV">Oracle 2002</a>, <abbr class="abbr" title="page(s)">p.</abbr> 1

</li>

<li id="cite_note-20"><a href="#cite_ref-20">↑</a> <a href="#Casset2002">Casset 2002</a>, <abbr class="abbr" title="page(s)">p.</abbr> 209

</li>

<li id="cite_note-Chen2000_32-22"><a href="#cite_ref-Chen2000_32_22-0">↑</a> <a href="#Chen2000">Zhiqun 2000</a>, <abbr class="abbr" title="page(s)">p.</abbr> 32

</li>

<li id="cite_note-Chen2000_33-24"><a href="#cite_ref-Chen2000_33_24-0">↑</a> <a href="#Chen2000">Zhiqun 2000</a>, <abbr class="abbr" title="page(s)">p.</abbr> 33

</li>

<li id="cite_note-Chen2000_35-25"><a href="#Chen2000">Zhiqun 2000</a>, <abbr class="abbr" title="page(s)">p.</abbr> 35

</li>

<li id="cite_note-Chen2000_36-27"><a href="#Chen2000">Zhiqun 2000</a>, <abbr class="abbr" title="page(s)">p.</abbr> 36

</li>

<li id="cite_note-Chen2000_37-30"><a href="#Chen2000">Zhiqun 2000</a>, <abbr class="abbr" title="page(s)">p.</abbr> 37

</li>

<li id="cite_note-Dufay_2003_p28-31"><a href="#Dufay">Dufay,2003</a>, p.28

</li>

<li id="cite_note-Chen2000_38-32"><a href="#Chen2000">Zhiqun 2000</a>, <abbr class="abbr" title="page(s)">p.</abbr> 38

</li>

<li id="cite_note-33"><a href="#cite_ref-33">↑</a> <a href="#Gemalto">Gemalto : Chapitre APIs</a>

</li>

<li id="cite_note-SUN_API-34"><a href="#cite_ref-SUN_API_34-0">↑</a> <a href="#SUN_API">Sun 2002</a>, <abbr class="abbr" title="page(s)">p.</abbr> 147

</li>

<li id="cite_note-havsp_Ghindici_6-35"><a href="#cite_ref-havsp_Ghindici_6_35-0">↑</a> <a href="#Ghindici">Ghindici 2006</a>, <abbr class="abbr" title="page(s)">p.</abbr> 6

</li>

<li id="cite_note-havsp_Sun_White_Paper_5-36"><a href="#SUN_PLATFORM">Sun 2008</a>, <abbr class="abbr" title="page(s)">p.</abbr> 5

</li>

<li id="cite_note-38"><a href="#cite_ref-38">↑</a> <a href="#Sun_CLDC">Sun CLDC : Introduction</a>

</li>

<li id="cite_note-havsp_Sun_White_Paper_4-39"><a href="#cite_ref-havsp_Sun_White_Paper_4_39-0">↑</a> <a href="#SUN_PLATFORM">Sun 2008</a>, <abbr class="abbr" title="page(s)">p.</abbr> 4

</li>

<li id="cite_note-havsp_Sun_White_Paper_6-40"><a href="#SUN_PLATFORM">Sun 2008</a>, <abbr class="abbr" title="page(s)">p.</abbr> 6

</li>

<li id="cite_note-41"><a href="#cite_ref-41">↑</a> <a href="#Type_Java">Type utilisé dans la programmation Java</a>

</li>

<li id="cite_note-42"><a href="#cite_ref-42">↑</a> <a href="#StringBuilder">Classe StringBuilder</a>

</li>

<li id="cite_note-43"><a href="#cite_ref-43">↑</a> <a href="#Generics">Types génériques du langage Java</a>

</li>

<li id="cite_note-Autoboxing-44"><a href="#Autoboxing">Autoboxing en Java</a>

</li>

<li id="cite_note-45"><a href="#cite_ref-45">↑</a> <a href="#Enumération">Énumération du langage Java</a>

</li>

<li id="cite_note-46"><a href="#cite_ref-46">↑</a> <a href="#Static_Imports">Import statique du langage Java</a>

</li>

<li id="cite_note-SUN_SERVET-47"><a href="#cite_ref-SUN_SERVET_47-0">↑</a> <a href="#SUN_SERVLET">Java Servlet Specification : Java Card Platform, Version 3.0.1 Connected Edition</a>, <abbr class="abbr" title="page(s)">p.</abbr> 3-1

</li>

<li id="cite_note-48"><a href="#cite_ref-48">↑</a> <a href="#Servlet_2_4">Java Servlet V2.4</a>

</li>

<li id="cite_note-RFC-2459-t-d-49"><a href="#cite_ref-RFC-2459-t-d_49-0">↑</a> <abbr class="abbr indicateur-langue" title="Langue : anglais">(en)</abbr> « <a rel="nofollow" class="external text" href="https://tools.ietf.org/html/rfc2459">Internet X.509 Public Key Infrastructure / Certificate and CRL Profile</a> », <a href="Request_for_comments" title="Request for comments">Request for comments</a> <abbr class="abbr" title="numéro">no</abbr> 2459, <time class="nowrap" datetime="1999-01" data-sort-value="1999-01">janvier 1999</time>

</li>

<li id="cite_note-50"><a href="#cite_ref-50">↑</a> <a href="#Gemalto">Gemalto : Chapitre sécurité</a>

</li>

<li id="cite_note-Sun_13-52"><a href="#cite_ref-Sun_13_52-0">↑</a> <a href="#SUN_PLATFORM">Sun 2008</a>, <abbr class="abbr" title="page(s)">p.</abbr> 13

</li>

<li id="cite_note-Sun_14-53"><a href="#SUN_PLATFORM">Sun 2008</a>, <abbr class="abbr" title="page(s)">p.</abbr> 14

</li>

<li id="cite_note-Sun_16-55"><a href="#SUN_PLATFORM">Sun 2008</a>, <abbr class="abbr" title="page(s)">p.</abbr> 16

</li>

<li id="cite_note-Sun_17-56"><a href="#SUN_PLATFORM">Sun 2008</a>, <abbr class="abbr" title="page(s)">p.</abbr> 17

</li>

<li id="cite_note-Sun_19-57"><a href="#cite_ref-Sun_19_57-0">↑</a> <a href="#SUN_PLATFORM">Sun 2008</a>, <abbr class="abbr" title="page(s)">p.</abbr> 19

</li>

<li id="cite_note-ISO_7816-4-58"><a href="#ISO7816">ISO : norme ISO7816-4</a>

</li>

<li id="cite_note-62"><a href="#cite_ref-62">↑</a> <a href="#ISO7816">ISO : norme ISO7816-5</a>

</li>

<li id="cite_note-Gemalto_19-63"><a href="#cite_ref-Gemalto_19_63-0">↑</a> <a href="#Gemalto_developper">Gemalto 2009</a>, <abbr class="abbr" title="page(s)">p.</abbr> 19

</li>

<li id="cite_note-Oracle-64"><a href="#Oracle">Oracle : Chapitre bénéfices</a>

</li>

<li id="cite_note-66"><a href="#cite_ref-66">↑</a> <a href="#oracle_overview">Oracle : Chapitre Industries</a>

</li>

<li id="cite_note-Marche1-67"><a href="#cite_ref-Marche1_67-0">↑</a> <a href="#Marche">Dimension économique et industrielle des cartes à puces</a>, <abbr class="abbr" title="page(s)">p.</abbr> 29

</li>

<li id="cite_note-Marche2-68"><a href="#cite_ref-Marche2_68-0">↑</a> <a href="#Marche">Dimension économique et industrielle des cartes à puces</a>, <abbr class="abbr" title="page(s)">p.</abbr> 19

</li>

</ol>

</div>

<div class="mw-heading mw-heading2"><h2 id="Bibliographie">Bibliographie</h2></div>

<ul><li><abbr class="abbr indicateur-langue" title="Langue : anglais">(en)</abbr> Zhiqun Chen, <cite class="italique" lang="en">Java Card Technology for Smart Cards : Architecture and Programmer's Guide</cite>, <a href="Addison%E2%80%93Wesley" class="mw-redirect" title="Addison–Wesley">Addison Wesley</a>, <time class="nowrap" datetime="2000-09-18" data-sort-value="2000-09-18">18 septembre 2000</time> (<a rel="nofollow" class="external text" href="http://java.sun.com/developer/Books/consumerproducts/javacard/">lire en ligne</a>)<span class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Java+Card+Technology+for+Smart+Cards+%3A+Architecture+and+Programmer%27s+Guide&rft.pub=Addison+Wesley&rft.aulast=Chen&rft.aufirst=Zhiqun&rft.date=2000-09-18&rfr_id=info%3Asid%2Ffr.wikipedia.org%3AJava+Card"></li>

<li><abbr class="abbr indicateur-langue" title="Langue : anglais">(en)</abbr> M. Baentsch, P. Buhler, T. Eirich, F. Horing et M. Oestreiche, « <cite style="font-style:normal" lang="en">JavaCard-from hype to reality</cite> », IEEE Concurrency, <abbr class="abbr" title="volume">vol.</abbr> 7, <abbr class="abbr" title="numéro">no</abbr> 4,‎ <time class="nowrap" datetime="1999" data-sort-value="1999">octobre-décembre 1999</time>, <abbr class="abbr" title="pages">p.</abbr> 36-43 (<a href="International_Standard_Serial_Number" title="International Standard Serial Number">ISSN</a> <a rel="nofollow" class="external text" href="https://portal.issn.org/resource/issn/1092-3063">1092-3063</a>, <a href="Digital_Object_Identifier" title="Digital Object Identifier">DOI</a> <a rel="nofollow" class="external text" href="https://dx.doi.org/10.1109/4434.806977">10.1109/4434.806977</a>)<span class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=JavaCard-from+hype+to+reality&rft.jtitle=IEEE+Concurrency&rft.issue=4&rft.aulast=Baentsch&rft.aufirst=M.&rft.au=Buhler%2C+P.&rft.au=Eirich%2C+T.&rft.au=Horing%2C+F.&rft.au=Oestreiche%2C+M.&rft.date=1999&rft.volume=7&rft.pages=36-43&rft.issn=1092-3063&rft_id=info%3Adoi%2F10.1109%2F4434.806977&rfr_id=info%3Asid%2Ffr.wikipedia.org%3AJava+Card"><div style="margin-left:2em; line-height:1.5;">Secure Syst. Group, IBM Res. Div. Zurich</div></li>

<li><abbr class="abbr indicateur-langue" title="Langue : anglais">(en)</abbr> L. Casset et JL. Lanet, « <cite style="font-style:normal" lang="en">Increasing smart card dependability</cite> », ACM,‎ <time>2002</time>, <abbr class="abbr" title="pages">p.</abbr> 209 - 212 (<a href="Digital_Object_Identifier" title="Digital Object Identifier">DOI</a> <a rel="nofollow" class="external text" href="https://dx.doi.org/10.1145/1133373.1133416">10.1145/1133373.1133416</a>)<span class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Increasing+smart+card+dependability&rft.jtitle=ACM&rft.aulast=Casset&rft.aufirst=L.&rft.au=Lanet%2C+JL.&rft.date=2002&rft.pages=209+-+212&rft_id=info%3Adoi%2F10.1145%2F1133373.1133416&rfr_id=info%3Asid%2Ffr.wikipedia.org%3AJava+Card"><div style="margin-left:2em; line-height:1.5;">EW 10 Proceedings of the 10th workshop on ACM SIGOPS European workshop</div></li>

<li><abbr class="abbr indicateur-langue" title="Langue : anglais">(en)</abbr> P.H. Hartel et L. Moreau, « <cite style="font-style:normal" lang="en">Formalizing the safety of Java, the Java virtual machine, and Java card</cite> », ACM Computing Surveys (CSUR), <abbr class="abbr" title="volume">vol.</abbr> 33, <abbr class="abbr" title="numéro">no</abbr> 4,‎ <time>2001</time>, <abbr class="abbr" title="pages">p.</abbr> 517-558 (<a href="International_Standard_Serial_Number" title="International Standard Serial Number">ISSN</a> <a rel="nofollow" class="external text" href="https://portal.issn.org/resource/issn/0360-0300">0360-0300</a>, <a href="International_Standard_Serial_Number#ISSN_électronique" title="International Standard Serial Number">e-ISSN</a> <a rel="nofollow" class="external text" href="https://portal.issn.org/resource/issn/1557-7341">1557-7341</a>, <a href="Digital_Object_Identifier" title="Digital Object Identifier">DOI</a> <a rel="nofollow" class="external text" href="https://dx.doi.org/10.1145/503112.503115">10.1145/503112.503115</a>)<span class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Formalizing+the+safety+of+Java%2C+the+Java+virtual+machine%2C+and+Java+card&rft.jtitle=ACM+Computing+Surveys+%28CSUR%29&rft.issue=4&rft.aulast=Hartel&rft.aufirst=P.H.&rft.au=Moreau%2C+L.&rft.date=2001&rft.volume=33&rft.pages=517-558&rft.issn=0360-0300&rft_id=info%3Adoi%2F10.1145%2F503112.503115&rfr_id=info%3Asid%2Ffr.wikipedia.org%3AJava+Card"></li>

<li><abbr class="abbr indicateur-langue" title="Langue : anglais">(en)</abbr> Dorina Ghindici, Gilles Grimaud et Isabelle Simplot-Ryl, « <cite style="font-style:normal" lang="en">Embedding verifiable information flow analysis</cite> », ACM Computing Surveys (CSUR),‎ <time>2006</time>, <abbr class="abbr" title="pages">p.</abbr> 1-9 (<a href="International_Standard_Book_Number" title="International Standard Book Number">ISBN</a> 1-59593-604-1, <a href="Digital_Object_Identifier" title="Digital Object Identifier">DOI</a> <a rel="nofollow" class="external text" href="https://dx.doi.org/10.1145/1501434.1501481">10.1145/1501434.1501481</a>)<span class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Embedding+verifiable+information+flow+analysis&rft.jtitle=ACM+Computing+Surveys+%28CSUR%29&rft.aulast=Ghindici&rft.aufirst=Dorina&rft.au=Grimaud%2C+Gilles&rft.au=Simplot-Ryl%2C+Isabelle&rft.date=2006&rft.pages=1-9&rft.isbn=1-59593-604-1&rft_id=info%3Adoi%2F10.1145%2F1501434.1501481&rfr_id=info%3Asid%2Ffr.wikipedia.org%3AJava+Card"></li>

<li>Guillaume Dufay, <cite class="italique">Vérification formelle de la plate-forme Java Card</cite>, <time>2003</time> (<a rel="nofollow" class="external text" href="http://www.irisa.fr/lande/gdufay/these-gdufay.pdf">lire en ligne</a>)<span class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=V%C3%A9rification+formelle+de+la+plate-forme+Java+Card&rft.aulast=Dufay&rft.aufirst=Guillaume&rft.date=2003&rfr_id=info%3Asid%2Ffr.wikipedia.org%3AJava+Card"></li>

<li><abbr class="abbr indicateur-langue" title="Langue : anglais">(en)</abbr> <cite class="italique" lang="en">Java Card™ 2.2 Application Programming Interface : Revision 1.1 for the 2.2_01 Release</cite>, 901 San Antonio Road Palo Alto, CA 94303 USA, Sun Microsystems, Inc, <time>2002</time>, 2.2_01 <abbr class="abbr" title="édition">éd.</abbr>, 278 <abbr class="abbr" title="pages">p.</abbr> (<a rel="nofollow" class="external text" href="http://java.sun.com/j2se/javadoc/mifdoclet/samples/JavaCard22API.pdf">lire en ligne</a>)<span class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Java+Card%E2%84%A2+2.2+Application+Programming+Interface&rft.place=901+San+Antonio+Road+Palo+Alto%2C+CA+94303+USA&rft.pub=Sun+Microsystems%2C+Inc&rft.edition=2.2_01&rft.stitle=Revision+1.1+for+the+2.2_01+Release&rft.date=2002&rft.tpages=278&rfr_id=info%3Asid%2Ffr.wikipedia.org%3AJava+Card"></li>

<li><abbr class="abbr indicateur-langue" title="Langue : anglais">(en)</abbr> <cite class="italique" lang="en">THE JAVA CARD™ 3 PLATFORM</cite>, 901 San Antonio Road Palo Alto, CA 94303 USA, Sun Microsystems, Inc, <time>2008</time>, 34 <abbr class="abbr" title="pages">p.</abbr> (<a rel="nofollow" class="external text" href="http://java.sun.com/javacard/3.0/javacard3_whitepaper.pdf">lire en ligne</a>)<span class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=THE+JAVA+CARD%E2%84%A2+3+PLATFORM&rft.place=901+San+Antonio+Road+Palo+Alto%2C+CA+94303+USA&rft.pub=Sun+Microsystems%2C+Inc&rft.date=2008&rft.tpages=34&rfr_id=info%3Asid%2Ffr.wikipedia.org%3AJava+Card"></li>

<li><abbr class="abbr indicateur-langue" title="Langue : anglais">(en)</abbr> Gemalto, <cite class="italique" lang="en">Java Card™ & STK Applet Development Guidelines : version 2</cite>, <time>2009</time>, WG.GGS.4.0042 <abbr class="abbr" title="édition">éd.</abbr>, 53 <abbr class="abbr" title="pages">p.</abbr> (<a rel="nofollow" class="external text" href="http://developer.gemalto.com/fileadmin/contrib/downloads/pdf/Java%20Card%20%26%20STK%20Applet%20Development%20Guidelines.pdf">lire en ligne</a>)<span class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Java+Card%E2%84%A2+%26+STK+Applet+Development+Guidelines&rft.edition=WG.GGS.4.0042&rft.stitle=version+2&rft.aulast=Gemalto&rft.date=2009&rft.tpages=53&rfr_id=info%3Asid%2Ffr.wikipedia.org%3AJava+Card"></li>

<li><abbr class="abbr indicateur-langue" title="Langue : anglais">(en)</abbr> Oracle, <cite class="italique" lang="en">Java Card 2.2 Off-Card Verifier : version 2.2</cite>, 901 San Antonio Road Palo Alto, CA 94303 USA, <time>2002</time>, 24 <abbr class="abbr" title="pages">p.</abbr> (<a rel="nofollow" class="external text" href="http://www.oracle.com/technetwork/java/javacard/offcardverifierwp-150021.pdf">lire en ligne</a>)<span class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Java+Card+2.2+Off-Card+Verifier&rft.place=901+San+Antonio+Road+Palo+Alto%2C+CA+94303+USA&rft.stitle=version+2.2&rft.aulast=Oracle&rft.date=2002&rft.tpages=24&rfr_id=info%3Asid%2Ffr.wikipedia.org%3AJava+Card"></li>

<li><abbr class="abbr indicateur-langue" title="Langue : anglais">(en)</abbr> <cite class="italique" lang="en">Java™ Servlet Specification : Java Card™ Platform, Version 3.0.1 Connected Edition</cite>, 901 San Antonio Road Palo Alto, CA 94303 USA, Sun Microsystems, Inc, <time>2009</time>, 162 <abbr class="abbr" title="pages">p.</abbr><span class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Java%E2%84%A2+Servlet+Specification&rft.place=901+San+Antonio+Road+Palo+Alto%2C+CA+94303+USA&rft.pub=Sun+Microsystems%2C+Inc&rft.stitle=Java+Card%E2%84%A2+Platform%2C+Version+3.0.1+Connected+Edition&rft.date=2009&rft.tpages=162&rfr_id=info%3Asid%2Ffr.wikipedia.org%3AJava+Card"></li>

<li><abbr class="abbr indicateur-langue" title="Langue : anglais">(en)</abbr> <cite class="italique" lang="en">ISO7816-4 Cartes d'identification -- Cartes à circuit intégré : Partie 4 : Organisation, sécurité et commandes pour les échanges</cite>, <time>2005</time>, <abbr class="abbr" title="deuxième">2e</abbr> <abbr class="abbr" title="édition">éd.</abbr><span class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=ISO7816-4+Cartes+d%27identification+--+Cartes+%C3%A0+circuit+int%C3%A9gr%C3%A9&rft.edition=2&rft.stitle=Partie+4+%3A+Organisation%2C+s%C3%A9curit%C3%A9+et+commandes+pour+les+%C3%A9changes&rft.date=2005&rfr_id=info%3Asid%2Ffr.wikipedia.org%3AJava+Card"></li>

<li><cite class="italique">Dimension économique et industrielle des cartes à puces</cite>, www.industrie.gouv.fr, <time>2009</time>, <abbr class="abbr" title="première">1re</abbr> <abbr class="abbr" title="édition">éd.</abbr> (<a rel="nofollow" class="external text" href="http://www.industrie.gouv.fr/p3e/etudes/cartes_puces/cartes_puces.pdf">lire en ligne</a>), <abbr class="abbr" title="page">p.</abbr> 74<span class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Dimension+%C3%A9conomique+et+industrielle+des+cartes+%C3%A0+puces&rft.pub=www.industrie.gouv.fr&rft.edition=1&rft.date=2009&rft.pages=74&rfr_id=info%3Asid%2Ffr.wikipedia.org%3AJava+Card"></li></ul>

<div class="mw-heading mw-heading2"><h2 id="Voir_aussi">Voir aussi</h2></div>

<ul><li><a href="Syst%C3%A8me_d'exploitation_pour_carte_%C3%A0_puce" title="Système d'exploitation pour carte à puce">Système d'exploitation pour carte à puce</a></li></ul>

<div class="mw-heading mw-heading3"><h3 id="Liens_externes">Liens externes</h3></div>

<ul><li><abbr class="abbr indicateur-langue" title="Langue : anglais">(en)</abbr> « <a rel="nofollow" class="external text" href="http://java.sun.com/javacard/3.0.1/specs.jsp"><cite style="font-style:normal;" lang="en">Spécifications de Java Card Version 3.0.1</cite></a> »</li>

<li><abbr class="abbr indicateur-langue" title="Langue : anglais">(en)</abbr> « <a rel="nofollow" class="external text" href="http://www.oracle.com/technetwork/java/javacard/overview/overview-jsp-135353.html"><cite style="font-style:normal;" lang="en">Oracle Javacard Overview</cite></a> »</li>

<li><abbr class="abbr indicateur-langue" title="Langue : anglais">(en)</abbr> « <a rel="nofollow" class="external text" href="http://www.iso.org/iso/fr/search.htm?qt=7816&searchSubmit=Rechercher&sort=rel&type=simple&published=true"><cite style="font-style:normal;" lang="en">Organisation internationale de normalisation</cite></a> »</li>

<li><abbr class="abbr indicateur-langue" title="Langue : anglais">(en)</abbr> « <a rel="nofollow" class="external text" href="http://developer.gemalto.com/home/technology/java-card.html"><cite style="font-style:normal;" lang="en">Gemalto Java Card™</cite></a> »</li>

<li><abbr class="abbr indicateur-langue" title="Langue : anglais">(en)</abbr> « <a rel="nofollow" class="external text" href="http://www.oracle.com/technetwork/java/javasebusiness/downloads/java-archive-downloads-javame-419430.html#java_card_kit-3.0.1-rr-spec-oth-JPR"><cite style="font-style:normal;" lang="en">Oracle Java Card Spécifications</cite></a> »</li>

<li><abbr class="abbr indicateur-langue" title="Langue : anglais">(en)</abbr> « <a rel="nofollow" class="external text" href="http://www.oracle.com/technetwork/java/javacard/releasenotes-jsp-137685.html#Classic_Features%20Java%20Card%20Release%20Note"><cite style="font-style:normal;" lang="en">Classic_Features Java Card Release Note</cite></a> »</li>

<li><abbr class="abbr indicateur-langue" title="Langue : anglais">(en)</abbr> « <a rel="nofollow" class="external text" href="http://www.oracle.com/technetwork/java/javacard/documentation/releasenotes-jcspecspw-2-2-2-142671.html"><cite style="font-style:normal;" lang="en">Oracle Java Card 2.2.2</cite></a> », <time class="nowrap" datetime="2006-03" data-sort-value="2006-03">mars 2006</time></li>

<li><abbr class="abbr indicateur-langue" title="Langue : anglais">(en)</abbr> « <a rel="nofollow" class="external text" href="http://www.oracle.com/technetwork/java/javame/javacard/overview/about/index.html"><cite style="font-style:normal;" lang="en">Oracle Java Card Industries</cite></a> »</li>

<li><abbr class="abbr indicateur-langue" title="Langue : anglais">(en)</abbr> « <a rel="nofollow" class="external text" href="http://jcp.org/aboutJava/communityprocess/final/jsr154/index.html"><cite style="font-style:normal;" lang="en">Java Servlet V2.4</cite></a> »</li>

<li><abbr class="abbr indicateur-langue" title="Langue : anglais">(en)</abbr> « <a rel="nofollow" class="external text" href="http://docs.oracle.com/javase/tutorial/java/nutsandbolts/datatypes.html"><cite style="font-style:normal;" lang="en">Type utilisé dans la programmation Java</cite></a> »</li>

<li><abbr class="abbr indicateur-langue" title="Langue : anglais">(en)</abbr> « <a rel="nofollow" class="external text" href="http://docs.oracle.com/javase/1.5.0/docs/api/java/lang/StringBuilder.html"><cite style="font-style:normal;" lang="en">Classe StringBuilder</cite></a> »</li>

<li><abbr class="abbr indicateur-langue" title="Langue : anglais">(en)</abbr> « <a rel="nofollow" class="external text" href="http://java.sun.com/j2se/1.5/pdf/generics-tutorial.pdf"><cite style="font-style:normal;" lang="en">Types génériques du langage Java</cite></a> »</li>

<li><abbr class="abbr indicateur-langue" title="Langue : anglais">(en)</abbr> « <a rel="nofollow" class="external text" href="http://docs.oracle.com/javase/1.5.0/docs/guide/language/autoboxing.html"><cite style="font-style:normal;" lang="en">Autoboxing en Java</cite></a> »</li>

<li><abbr class="abbr indicateur-langue" title="Langue : anglais">(en)</abbr> « <a rel="nofollow" class="external text" href="http://docs.oracle.com/javase/1.4.2/docs/api/java/util/Enumeration.html"><cite style="font-style:normal;" lang="en">Énumération du langage Java</cite></a> »</li>

<li><abbr class="abbr indicateur-langue" title="Langue : anglais">(en)</abbr> « <a rel="nofollow" class="external text" href="http://docs.oracle.com/javase/1.5.0/docs/guide/language/varargs.html"><cite style="font-style:normal;" lang="en">Méthodes à arguments multiples du langage Java</cite></a> »</li>

<li><abbr class="abbr indicateur-langue" title="Langue : anglais">(en)</abbr> « <a rel="nofollow" class="external text" href="http://docs.oracle.com/javase/1.5.0/docs/guide/language/static-import.html"><cite style="font-style:normal;" lang="en">Import statique du langage Java</cite></a> »</li></ul>

</div>

<ul id="bandeau-portail" class="bandeau-portail"><li> Portail de l’informatique </li> <li> Portail de la programmation informatique </li> </ul></div><div><div class="zim-footer">

Cet article est issu de <a class="external text" title="Dernière modification le 2025-08-18" href="https://fr.wikipedia.org/wiki/?title=Java_Card&oldid=228216629">Wikipédia</a>. Sauf mention contraire, le texte est disponible sous <a class="external text" href="https://creativecommons.org/licenses/by-sa/4.0/deed.fr">Creative Commons Attribution-Share Alike 4.0</a>. Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.

</div>

</div></div>

</div>

</main>

</div>

</body></html>